ADEN HARBOUR. (INCLUDING APPENDIX).

Continued Fever at Aden

By Surgeon-Major Hubert Greene, A.M.D. The following rough notes of some cases of pyrexia, characterized by very persistent high temperature, have been written in the hope that, though very imperfect, they may possibly contribute in some slight degree towards the elucidation of the nature of the complex diseases which are usually classed under the head of Simple Continued Fever. The circumstanc...

Notes on leprosy in Aden.

Automated Versus Manual Platelet Count in Aden

This is a cross sectional study conducted in the National Center of Public Health Laboratories (NCPHL) of Aden – Yemen, during October-December 2011, with an overall aim to compare the results of platelet count by the automated versus the manual methods. Study included 190 random samples, examined with confirmatory platelet estimate done by the stained thin blood film. The mean platelets count ...

Does the Appendix Location Change During Pregnancy?

Background: Early diagnosis of appendicitis is important during pregnancy.  Unlike omentom, cecum and appendix are not likely to be displaced by the growing uterus, so the concept of position change of the appendix during pregnancy is questionable. Objective: To determine the anatomical location of appendix during pregnancy. Methods: In a prospective study from October 1995 to March 1999, 291 w...

Software Verification Using k-Induction Extended version including appendix with proofs

We present combined-case k-induction, a novel technique for verifying software programs. This technique draws on the strengths of the classical inductive-invariant method and a recent application of k-induction to program verification. In previous work, correctness of programs was established by separately proving a base case and inductive step. We present a new k-induction rule that takes an u...